Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Linux Troubleshooting: These 4 Steps Will Fix 99% of Errors
linuxblog.ioยท5h
๐Ÿ“ŸTerminal Forensics
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.toยท22hยท
Discuss: Hacker News
๐Ÿ”—Static Linking
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Ÿ”“Hacking
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐ŸงฎAlgebraic Archives
Flag this post
Void Linux Gets Runkit, a Friendly GUI for Managing runit Services
linuxiac.comยท1h
๐Ÿ› System administration
Flag this post
Show HN: IRCd in Pure Bash
github.comยท21hยท
Discuss: Hacker News
โœ…Shell Verification
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.orgยท21hยท
๐ŸŒWASI
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.orgยท2h
๐Ÿ“ฆMETS Containers
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Rust Hobby OS projects worth exploring
oshub.orgยท9hยท
๐Ÿฆ€Embedded Rust
Flag this post
Today I Learned: Binfmt_misc
dfir.chยท10hยท
Discuss: Hacker News
๐ŸšNordic Shell
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท50m
โš™๏ธTLA+
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post